derivative of a sum